منابع مشابه
Neural Relax
We propose a new self-organizing algorithm for a feedforward network inspired to an electrostatic problem that turns out to have intimate relations with information maximization.
متن کاملToo busy to relax?
Today I am going to exercise. Finally! I plan to leave my offi ce early and go to the gym on my way home. I just need to complete a few telephone calls and I will be on my way. Suddenly, the emergency department calls. Mrs S. is back with congestive heart failure and will likely need admission. There goes my new resolution. By the time I leave the emergency department, it is time to go home, ha...
متن کاملRoom to Relax
Within a generation leisure time may loom as large in our lives a5 work does now. Michael Dower, director of the Dartington Amenity Research Trust, says that planning must start now if the space an^ facilities needed to enjoy leisure are going to be available. suppose you had a five-hour working day, a four-day weekend , a three-month annual holiday. How would you use your leisure? Within a gen...
متن کاملThe RelaX Architecture
RelaX (Reliable distributed applications support on UNIX) is a portable and extensible system software layer on top of UNIX-like operating system kernels supporting reliable distributed applications by a generalized transaction mechanism. The distributed transaction mechanism relieves each programmer of dealing explicitly with error recovery and concurrency control in every distributed applicat...
متن کاملWiden Narrow and Relax
We apply results from linear programming to show that the relaxation of model checking over integers to reals is accurate i e yields a full test of temporal properties for a large class of concurrent systems We de ne abstractions similar to widening and narrowing that accelerate least and greatest xpoint computations in model checking over integers or reals We show that these abstractions are a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Datenbank-Spektrum
سال: 2021
ISSN: 1618-2162,1610-1995
DOI: 10.1007/s13222-021-00367-x